#include<stdio.h>
int main()
{
	int x,a5=0,a2=0,a1=0,k=0;
	scanf("%d",&x);
	a5=(x-2-1)/5;
	for(int i=a5;i>=1;i--)
	{
		
		a2=(x-i*5-1)/2;
		a1=x-i*5-a2*2;
		for(int j=a2;j>=1;j--)
		{
			printf("a5%d a2%d a1%d mn%d\n",i,j,a1,i+j+a1);
			a1=a1+2;
			k++;
		}
	}
	printf("mun%d",k);
	return 0;
}